#ifndef __PRINT_H__
#define __PRINT_H__


#include <stdint.h>
#include <stdarg.h>

int putchar(int ch);
int getchar(void);
int puts(const char *string);
int kvsnprintf (char * buf, int size, const char * fmt, va_list args);
int kvsprintf(char *str, const char *fmt, va_list args);
int ksprintf(char *buf, const char *fmt, ...);
int ksnprintf(char *buf, int size, const char *fmt, ...);
void kprintf(const char *fmt, ...);

#ifndef NULL
#define NULL ((void*)0)
#endif

#endif

